4

Abstract interpretation based verification of logic programs

Year:
2003
Language:
english
File:
PDF, 400 KB
english, 2003
19

On the verification of finite failure

Year:
2005
Language:
english
File:
PDF, 446 KB
english, 2005
21

Vitiligo: new and emerging treatments

Year:
2008
Language:
english
File:
PDF, 103 KB
english, 2008
24

Abstract interpretation based verification of temporal properties for BioAmbients

Year:
2010
Language:
english
File:
PDF, 1.18 MB
english, 2010
30

An analysis for proving probabilistic termination of biological systems

Year:
2013
Language:
english
File:
PDF, 1.59 MB
english, 2013
45

Causal static analysis for Brane Calculi

Year:
2015
Language:
english
File:
PDF, 1.18 MB
english, 2015
46

Investigating dynamic causalities in reaction systems

Year:
2016
Language:
english
File:
PDF, 796 KB
english, 2016